Finite

Results: 6380



#Item
211

Constructive Finite Trace Analysis with Linear Temporal Logic Martin Sulzmann and Axel Zechner Informatik Consulting Systems AG, Germany {martin.sulzmann,axel.zechner}@ics-ag.de

Add to Reading List

Source URL: www.home.hs-karlsruhe.de

- Date: 2013-03-29 18:22:29
    212

    Parallel Programming Laboratory University of Illinois at Urbana-Champaign Charm++ Iterative Finite Element Matrix (IFEM) Library Manual

    Add to Reading List

    Source URL: charm.cs.illinois.edu

    - Date: 2012-08-18 21:08:23
      213

      Annals of Pure and Applied Logic–30 www.elsevier.com/locate/apal Game-based notions of locality over finite models! Marcelo Arenas a,∗ , Pablo Barcel´o b , Leonid Libkin c a Department of Computer Scien

      Add to Reading List

      Source URL: marenas.sitios.ing.uc.cl

      - Date: 2013-04-26 05:57:02
        214

        New York Journal of Mathematics New York J. Math–524. The co-universal C ∗-algebra of a row-finite graph Aidan Sims

        Add to Reading List

        Source URL: nyjm.albany.edu

        - Date: 2010-11-22 04:37:15
          215

          arXiv:1612.00378v1 [nucl-th] 1 DecLandau parameters for energy density functionals generated by local finite-range pseudopotentials A. Idini1,2 , K. Bennaceur1,3,4 , and J. Dobaczewski1,4,5,6 1

          Add to Reading List

          Source URL: arxiv.org

          - Date: 2016-12-01 20:31:14
            216

            Irredundant Generating Sets of Finite Nilpotent Groups Liang Ze Wong May 2012 Advisor: Professor R. Keith Dennis May 22, 2012

            Add to Reading List

            Source URL: www.math.cornell.edu

            - Date: 2012-05-23 08:12:11
              217

              New Graphs of Finite Mutation Type Harm Derksen∗ Department of Mathematics University of Michigan

              Add to Reading List

              Source URL: www.emis.ams.org

              - Date: 2008-11-09 22:03:12
                218

                A Method for the Verified Solution of Finite Element Models with Uncertain Node Locations A. P. Smith & J. Garloff Faculty of Computer Science, University of Applied Sciences (HTWG) Konstanz, Konstanz, Germany H. Werkle

                Add to Reading List

                Source URL: www-home.htwg-konstanz.de

                - Date: 2013-11-14 05:10:18
                  219

                  Physical Layer Network Coding Schemes over Finite and Infinite Fields

                  Add to Reading List

                  Source URL: www.ie.cuhk.edu.hk

                  - Date: 2012-09-02 22:40:27
                    UPDATE